$\forall$$D$:dsys\{i:l\}, $w$:world\{i:l\}. possible{-}world\{i:l\}($D$; $w$) $\in$ $\mathbb{P}$\{i'\}